Turing Award - PDFSEARCH.IO - Document Search Engine

Turing Award
Results: 191

#	Item
71	Computing Technology: Created, Fallen, In Need Of Redemption? Joel C. Adams Department of Computer Science Calvin College Abstract If we accept the premise that computing technology is a part of the created order, then a Add to Reading List Source URL: www.calvin.edu Language: English - Date: 2002-08-29 14:10:31 Computation Computability Programming language Operating system Applied mathematics Science Theory of computation Lateral computing Turing Award Computer science Computing Computer
72	Participating Laureates[removed]As per September 10, 2013) Name Prize Add to Reading List Source URL: www.heidelberg-laureate-forum.org Language: English - Date: 2014-06-05 11:45:29 Academia Nevanlinna Prize Turing Award Robert Tarjan John Hopcroft Alan Turing Charles P. Thacker Leslie Valiant Richard M. Karp Turing Award laureates Science Computer science
73	The Computer Museum 300 Congress Street Boston. MA[removed]2800 Add to Reading List Source URL: tcm.computerhistory.org Language: English - Date: 2012-06-06 17:01:53 Academia Edward Feigenbaum Herbert Simon Palo Alto California Feigenbaum Turing Award laureates Science Artificial intelligence
74	© 2003 The Charles Babbage Institute for the History of Information Technology 211 Andersen Library, 222 – 21st Avenue South, Minneapolis, MN[removed]USA 20 Years—One Standard: The Story of TCP/IP Jonathan B. Spira Ba Add to Reading List Source URL: www.cbi.umn.edu Language: English - Date: 2007-05-17 10:25:56 Turing Award laureates Internet protocol suite Internet Protocol Vint Cerf Transmission Control Protocol ARPANET Port Packet switching Jon Postel Computing Internet Network architecture
75	© 2003 The Charles Babbage Institute for the History of Information Technology 211 Andersen Library, 222 – 21st Avenue South, Minneapolis, MN[removed]USA Reflections on 20 Years—One Standard Robert E. Kahn Corporation Add to Reading List Source URL: www.cbi.umn.edu Language: English - Date: 2007-05-17 10:27:13 Computing ARPANET Vint Cerf Bob Kahn Internet protocol suite DARPA Transmission Control Protocol Internet Internet Experiment Note Science and technology in the United States Turing Award laureates Technology
76	Technical Report UCAM-CL-TR ISSN[removed]Computer Laboratory Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-12-02 09:28:45 Computing Turing Award laureates Ucam Algorithm Logic for Computable Functions Proof assistant HOL Robin Milner Compiler Logic in computer science Theoretical computer science Computer science
77	CONTACT: Virginia Gold[removed]removed] Add to Reading List Source URL: awards.acm.org Language: English - Date: 2013-12-16 13:02:14 Academia Information retrieval Computing Turing Award W. Wallace McDowell Award Computer science Association for Computing Machinery Science
78	Editorial Profile he American Association for Artificial Intelligence (AAAI) is the principal scientific society serving the artificial intelligence community in the United States. Founded in 1979, the association consis Add to Reading List Source URL: www.aaai.org Language: English - Date: 2008-12-15 17:17:46 Academia Association for the Advancement of Artificial Intelligence Edward Feigenbaum Daniel G. Bobrow Marvin Minsky Nils Nilsson Raj Reddy Applications of artificial intelligence Ai Science Artificial intelligence Turing Award laureates
79	Visions III A Strategic Plan for the Coastal and Estuarine Research Federation (CERF[removed] – [removed]CERF Mission Statement Add to Reading List Source URL: www.erf.org Language: English - Date: 2014-04-16 11:16:15 Turing Award laureates United States Publishing Vint Cerf Academia Coastal and Estuarine Research Federation Cerf Estuaries and Coasts
80	TUGboat, Volume[removed]), No. 1 New techniques in METAFONT Coming Next Issue Tools for interaction Add to Reading List Source URL: tug.org Language: English - Date: 2011-10-16 21:01:39 Turing Award laureates Academia United States PECASE Courant Institute of Mathematical Sciences United States Department of Energy National Laboratories California University of California Berkeley

UPDATE